COMMENT ⊗   VALID 00023 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	.app EXTERNAL PUBLICATIONS
C00005 00003	Agin, Gerald J., Thomas O. Binford, "Computer Description of
C00007 00004	Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
C00013 00005	Chowning, John M., "The Synthesis of Complex Audio Spectra by means
C00019 00006	Dobrotin, Boris M., Victor D. Scheinman, "Design of a Computer
C00020 00007	Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
C00021 00008	Faught, William S., "Affect as Motivation for Cognitive and Conative
C00023 00009	Goldman, Neil M., "Sentence Paraphrasing from a Conceptual Base", <Comm. ACM,>
C00027 00010	Harvey, Brian, "Increasing Programmer Power at Stanford with Display
C00032 00011	Igarashi, S., R. L. London, D. C. Luckham, "Interactive Program Verification:
C00033 00012	Katz, Shmuel, Zohar Manna, "A Heuristic Approach to Program
C00036 00013	Lenat, Douglas B., "BEINGS: Knowledge as Interacting Experts",
C00040 00014	Manna, Zohar, "Program Schemas", in <Currents in the Theory of
C00050 00015	Nevatia, Ramakant, Thomas O. Binford, "Structured Descriptions
C00051 00016	Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
C00052 00017	Rubin, Jeff, "Computer Communication via the Dial-up Network",
C00054 00018	Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, R. French, P. Gierasch,
C00065 00019	Tesler, Lawrence G., Horace J. Enea, David C. Smith, "The
C00066 00020	Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross, "Variable
C00067 00021	Wilks, Yorick, "The Stanford Machine Translation and Understanding
C00072 00022	Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
C00073 00023	.end "pubs"
C00074 ENDMK
C⊗;
.app EXTERNAL PUBLICATIONS
     
Articles and books by Project members that have appeared since July 1973
are listed here alphabetically by lead author.  Earlier publications are
given in our ten-year report [Memo AIM-228] and in diskfile PUBS.OLD [BIB,DOC]
@SU-AI.  The list below is kept in PUBS [BIB,DOC] @SU-AI.

.begin "pubs" ib;
.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXT COLUMN; NEXT EXREF; (EXREF&".  ") ⊃
.indent 0,3; nojust
⊗Agin, Gerald J., Thomas O. Binford, "Computer Description of
Curved Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Aiello, Mario, Richard Weyhrauch, "Checking Proofs in the Metamathematics
of First Order Logic", <Adv. Papers of 4th Int. Joint Conference on
Artificial Intelligence,> Vol. 1, pp. 1-8, September 1975.

⊗Ashcroft, Edward, Zohar Manna, Amir Pnueli, "Decidable Properties
of Monodic Functional Schemas", <J. ACM>, July 1973.

⊗Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
Third Int. Joint Conf. on Artificial Intelligence>, Stanford U.,
1973.

⊗Biermann, A. W., R.I. Baum, F.E. Petry, "Speeding Up the Synthesis of
Programs from Traces", <IEEE Trans. Computers,> February 1975.

⊗Chowning, John M., "The Synthesis of Complex Audio Spectra by means
of Frequency Modulation", <J. Audio Engineering Society>, September
1973.

⊗Colby, Kenneth M., <Artificial Paranoia: A Computer Simulation of
the Paranoid Mode>, Pergamon Press, N.Y., 1974.

⊗Colby, K.M. and Parkison, R.C. "Pattern-matching rules for the Recognition of
Natural Language Dialogue Expressions", <American Journal of Computational
Linguistics>, 1, September 1974.

⊗Dobrotin, Boris M., Victor D. Scheinman, "Design of a Computer
Controlled Manipulator for Robot Research", <Proc. Third Int. Joint
Conf. on Artificial Intelligence>, Stanford U., 1973.

⊗Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
for Understanding Doctor-Patient Dialogues", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Faught, William S., "Affect as Motivation for Cognitive and Conative
Processes", <Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 2, pp. 893-899, September 1975.

⊗Feldman, Jerome A., James R. Low, "Comment on Brent's Scatter
Storage Algorithm", <Comm. ACM>, November 1973.

⊗Feldman, Jerome A., Yoram Yakimovsky, "Decision Theory and Artificial
Intelligence:  I A Semantics-based Region Analyzer", <Artificial Intelligence
J.>, Vol. 5, No. 4, Winter 1974.

⊗Finkel, Raphael, Russell Taylor, Robert Bolles,  Richard Paul, Jerome Feldman,
"An Overview of AL, a Programming System for Automation",
<Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 2, pp. 758-765, September 1975.

⊗Fuller, Samuel H., Forest Baskett, "An Analysis of Drum Storage Units",
<J. ACM>, Vol. 22, No. 1, January 1975.

⊗Goldman, Neil M., "Sentence Paraphrasing from a Conceptual Base", <Comm. ACM,>
February 1975.

⊗Green, Cordell, David Barstow, "Some Rules for the Automatic Synthesis of
Programs", <Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 1, pp. 232-239, September 1975.

⊗Harvey, Brian, "Increasing Programmer Power at Stanford with Display
Terminals", <Minutes of the DECsystem-10 Spring-75 DECUS Meeting>, Digital
Equipment Computer Users Society, Maynard, Mass., 1975.

⊗Hieronymus, J. L., N. J. Miller, A. L. Samuel, "The Amanuensis Speech
Recognition System", <Proc. IEEE Symposium on Speech Recognition>, April 1974.

⊗Hieronymus, J. L., "Pitch Synchronous Acoustic Segmentation", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Hilf, Franklin, "Use of Computer Assistance in Enhancing Dialog Based
Social Welfare, Public Health, and Educational Services in Developing
Countries", <Proc. 2nd Jerusalem Conf. on Info. Technology>, July 1974.

⊗Hilf, Franklin, "Dynamic Content Analysis", <Archives of General Psychiatry,>
January 1975.

⊗Hueckel, Manfred H., "A Local Visual Operator which Recognizes
Edges and Lines", <J. ACM>, October 1973.

⊗Igarashi, S., R. L. London, D. C. Luckham, "Interactive Program Verification:
A Logical System and its Implementation", <Acta Informatica,> March 1975.

⊗Katz, Shmuel, Zohar Manna, "A Heuristic Approach to Program
Verification", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Katz, Shmuel, Zohar Manna, "Logical Analysis of Programs", <Comm. ACM>,
April 1976.

⊗Lenat, Douglas B., "BEINGS: Knowledge as Interacting Experts",
<Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 1, pp. 126-133, September 1975.

⊗Luckham, David C., "Automatic Problem Solving", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Luckham, David C., Jack R. Buchanan, "Automatic Generation of
Programs Containing Conditional Statements", <Proc. AISB Summer
Conference>, U. Sussex, July 1974.

⊗Manna, Zohar, "Program Schemas", in <Currents in the Theory of
Computing> (A. V. Aho, Ed.), Prentice-Hall, Englewood Cliffs, N.
J., 1973.

⊗Manna, Zohar, Stephen Ness, Jean Vuillemin, "Inductive Methods for
Proving Properties of Programs", <Comm. ACM>, August 1973.

⊗Manna, Zohar, "Automatic Programming", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Manna, Zohar, <Introduction to Mathematical Theory of
Computation>, McGraw-Hill, New York, 1974.

⊗McCarthy, John, "Proposed Criterion for a Cipher to be Probable-word-proof",
<Comm. ACM,> February 1975.

⊗Michie, D., Bruce G. Buchanan, "Current Status of the Heuristic DENDRAL
Program for Applying Artificial Intelligence to the Interpretation of
Mass Spectra", in R. A. G. Carrington (ed.), <Computers for Spectroscopy>,
Adam Hilger, London, 1974.

⊗Miller, N. J., "Pitch Detection by Data Reduction", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Moorer, James A., "The Optimum Comb Method of Pitch Period Analysis
of Continuous Speech", <IEEE Trans. Acoustics, Speech, and Signal
Processing>, Vol. ASSP-22, No. 5, October 1974.

⊗Moorer, James A., "On the Transcription of Musical Sound by Computer",
<USA-JAPAN Computer Conference>, August 1975.

⊗Morales, Jorge J., "Interactive Theorem Proving", <Proc. ACM
National Conference>, August 1973.

⊗Nevatia, Ramakant, Thomas O. Binford, "Structured Descriptions
of Complex Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
Sagan, "Mariner 9 Picture Differencing at Stanford", <Sky and
Telescope>, August 1973.

⊗Rubin, Jeff, "Computer Communication via the Dial-up Network",
<Minutes of the DECsystem-10 Spring-75 DECUS Meeting>, Digital
Equipment Computer Users Society, Maynard, Mass., 1975.

⊗Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, R. French, P. Gierasch,
L. Quam, J. Lederberg, E. Levinthal, R. Tucker, B. Eross, J. Pollack,
"Variable Features on Mars II: Mariner 9 Global Results", <J.
Geophys. Res.>, 78, 4163-4196, 1973.

⊗Schank, Roger C., Neil Goldman, Charles J. Rieger III, Chris
Riesbeck, "MARGIE: Memory, Analysis, Response Generation and
Inference on English", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Schank, Roger C., Kenneth Colby (eds), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Schank, Roger, "The Conceptual Analysis of Natural Language", in R.
Rustin (ed.), <Natural Language Processing>, Algorithmics Press, New
York, 1973. 

⊗Schank, Roger, Charles J. Rieger III, "Inference and Computer Understanding
of Natural Language", <Artificial Intelligence J.>, Vol.5, No. 4, Winter
1974.

⊗Schank, Roger C., Neil M. Goldman, Charles J. Rieger III, Christopher K.
Riesbeck, "Interface and Paraphrase by Computer", <J. ACM,> Vol 22, No. 3,
July 1975.

⊗Shaw, David E., William R. Swartout, C. Cordell Green, "Inferring LISP
Programs from Examples", <Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 1, pp. 260-267, September 1975.

⊗Smith, David Canfield, Horace J. Enea, "Backtracking in
MLISP2", <Proceedings of the Third International Joint Conference on
Artificial Intelligence>, Stanford University, August 1973.

⊗Smith, Leland, "Editing and Printing Music by Computer", <J. Music
Theory>, Fall 1973.

⊗Sobel, Irwin, "On Calibrating Computer Controlled Cameras for
Perceiving 3-D Scenes", <Proc. Third Int. Joint Conf. on Artificial
Intelligence>, Stanford U., 1973; also in Artificial Intelligence J.,
Vol. 5, No. 2, Summer 1974.

⊗Suzuki, N., "Verifying Programs by Algebraic and Logical Reduction",
<Proc. Int. Conf. on Reliable Software>, Los Angeles, Calif., April 1975,
in <ACM SIGPLAN Notices>, Vol. 10, No. 6, pp. 473-481, June 1975.

⊗Tesler, Lawrence G., Horace J. Enea, David C. Smith, "The
LISP70 Pattern Matching System", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Thomas, Arthur J., "Puccetti on Machine Pattern Recognition",
<Brit.J.Philosophy of Science,> 26:227-232, 1975.

⊗Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross, "Variable
Features on Mars III: Comparison of Mariner 1969 and Mariner 1971
Photography", <Icarus>, 21, 317-368, 1974.

⊗von Henke, F. W., D.C. Luckham, "A Methodology for Verifying Programs",
<Proc. Int. Conf. on Reliable Software>, Los Angeles, Calif., April 1975,
in <ACM SIGPLAN Notices>, Vol. 10, No. 6, pp. 156-164, June 1975.

⊗Wilks, Yorick, "The Stanford Machine Translation and Understanding
Project", in R. Rustin (ed.), <Natural Language Processing>,
Algorithmics Press, New York, 1973. 

⊗Wilks, Yorick, "Understanding Without Proofs", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Wilks, Yorick, Annette Herskovits, "An Intelligent Analyser and
Generator of Natural Language", <Proc. Int. Conf. on Computational
Linguistics>, Pisa, Italy, <Proceedings of the Third Internation
Joint Conference on Artificial Intelligence>, Stanford University,
August 1973.

⊗Wilks, Yorick, "The Computer Analysis of Philosophical Arguments",
<CIRPHO>, Vol. 1, No. 1, September 1973

⊗Wilks, Yorick, "An Artificial Intelligence Approach to Machine
Translation", in Schank and Colby (eds.), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Wilks, Yorick, "One Small Head -- Models and Theories in Linguistics",
<Foundations of Language>, Vol. 10, No. 1, January 1974.

⊗Wilks, Yorick, "Preference Semantics", E. Keenan (ed.), <Proc. 1973
Colloquium on Formal Semantics of Natural Language>, Cambridge, U.K.,
1974.

⊗Wilks, Yorick, "The XGP Computer-driven Printer at Stanford", <Bulletin
of Assoc. for Literary and Linguistic Computing,>, Vol. 2, No. 2, Summer 1974.

⊗Wilks, Y., "Semantic Procedures and Information", in <Studies in the
Foundations of Communication>, R. Posner (ed.), Springer, Berlin,
forthcoming.

⊗Wilks, Yorick, "A Preferential, Pattern-Seeking Semantics for Natural
Language Inference", <Artificial Intelligence J.,> Vol. 6, No. 1, Spring 1975.

⊗Wilks, Y., "An Intelligent Analyser and Understander of English",
<Comm. ACM,> May 1975.

⊗Winograd, Terry, "A Process Model of Language Understanding", 
in Schank and Colby (eds.), <Computer Models of Thought and Language>,
W. H. Freeman, San Francisco, 1973.

⊗Winograd, Terry, "The Processes of Language Understanding" in
Benthall, (ed.), <The Limits of Human Nature>, Allen Lane, London, 1973.

⊗Winograd, Terry, "Language and the Nature of Intelligence," in G.J.
Dalenoort (ed.), <Process Models for Psychology>, Rotterdam Univ.
Press, 1973

⊗Winograd, Terry, "Breaking the Complexity Barrier (again)", <Proc.
SIGPLAN-SIGIR Interface Meeting>, 1973; <ACM SIGPLAN Notices,> 10:1, pp. 13-30,
January 1975.

⊗Winograd, Terry, "Artificial Intelligence -- When Will Computers
Understand People?", <Psychology Today>, May 1974.

⊗Winograd, Terry, "Parsing Natural Language via Recursive Transition Net",
in Raymond Yeh (ed.) <Applied Computation Theory>, Prentice-Hall, 1975.

⊗Winograd, Terry, "Frame Representations and the Procedural -
Declarative Controversy", in D. Bobrow and A. Collins, eds.,
<Representation and Understanding: Studies in Cognitive Science,>
Academic Press, 1975.

⊗Winograd, Terry, "Reactive Systems", <Coevolution Quarterly,>
September 1975

⊗Winograd, Terry, "Computer Memories -- a Metaphor for Human Memory",
to appear in Charles Cofer (ed.), <Models of Human Memory,> Freeman
1976.

⊗Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
Decision Theoretic Region Analyzer", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Yolks, Warwick, "There's Always Room at the Top, or How Frames gave
my Life Meaning", <SIGART Newsletter,> No. 53, August 1975.

.end "pubs"